linear logic การใช้

ประโยค

ตัวอย่างการใช้เพิ่มเติม:   1  2  3  4  5  6  7  8  9  10


1. One way of defining linear logic is as a sequent calculus.
2. Linear distributions are fundamental in the proof theory of linear logic.
3. GoI had a strong influence on game semantics for linear logic and PCF.
4. Lincoln's doctoral dissertation was " Computational aspects of linear logic ".
5. They are used to define models for the multiplicative fragment of intuitionistic linear logic.

คำอื่น ๆ

1. "linear dimension" การใช้
2. "linear distortion" การใช้
3. "linear elastic" การใช้
4. "linear energy transfer" การใช้
5. "linear equation" การใช้
6. "linear feedback control" การใช้
7. "linear function" การใช้
8. "linear interpolation" การใช้
9. "linear leaf" การใช้
10. "linear light source" การใช้
11. "linear map" การใช้
12. "linear maps" การใช้
13. "linear measure" การใช้
14. "linear meter" การใช้
15. "linear model" การใช้
16. "linear models" การใช้
17. "linear modulation" การใช้
18. "linear momentum" การใช้
19. "linear motion" การใช้